$\forall$$a$,$b$:Id. eq\_id($a$; $b$) $\in$ $\mathbb{B}$